type bitCount = int
let make_bits n = n
type range = int * int
let bits (l,h) = if h<l then failwith "" else h-l+1
let to_string (l,h) = (string_of_int l) ^ " to " ^ (string_of_int h) 
let downto_string (l,h) = (string_of_int h) ^ " downto " ^ (string_of_int l) 
let ( --> ) l h = (l+1,h)
let ( <-- ) h l = (l,h-1)
let ( |-> ) l h = (l,h)
let ( <-| ) h l = (l,h)
let rebase b (l,h) = (b,b+h-l+1)
let normal r = rebase 0 r

